#ifndef __MMU_H__
#define __MMU_H__

#include "basictype.h"

extern void mmu_init(void);

#endif